Fixed point theory in weak second-order arithmetic
نویسندگان
چکیده
منابع مشابه
An intensional fixed point theory over first order arithmetic
The purpose of this article is to present a new theory IPA(σ) for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But in spite of its great expressive power we can show that the proof-theoretic strength of our theory – which is intensional in a meaning to be described below – is characterized by the Feferman-Schütte ordinal Γ0. Our a...
متن کاملCountable Valued Fields in Weak Subsystems of Second-Order Arithmetic
This paper is part of the program of reverse mathematics. We assume the reader is familiar with this program as well as with RCA,, and WKL,, the two weak subsystems of second-order arithmetic we are going to work with here. (If not, a good place to start is [2].) In [2], [3], [4], many well-known theorems about countable rings, countable fields, etc. were studied in the context of reverse mathe...
متن کاملZooming in on the development of arithmetic in a weak second order theory
In this note we derive Robinson’s Arithmetic from Hume’s Principle in the context of very weak theories of classes and relations.
متن کاملFixed-Point Arithmetic Line Clipping
This algorithm supports line clipping against a rectangular window with edges parallel to the screen. The algorithm combines different partial solutions given in the bibliography such as implicit area codes, decision trees, line ends comparison, symmetry or avoiding redundant calculations, mixing them with fixed-point arithmetic, explicit calculation reusing and dynamic monitoring. It may work ...
متن کاملOn the fixed point of order 2
This paper deals with a new type of fixed point, i.e;"fixed point of order 2" which is introduced in a metric spaceand some results are achieved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1990
ISSN: 0168-0072
DOI: 10.1016/0168-0072(90)90068-d